математическое доказательство
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]
Англо-русский словарь нормативно-технической терминологии. academic.ru. 2015.
математическое доказательство — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN mathematic argument … Справочник технического переводчика
Immanuel Kant — Kant redirects here. For other uses, see Kant (disambiguation). See also: Kant (surname) Immanuel Kant Immanuel Kant Full name Immanuel Kant Born 22 April 1724 … Wikipedia
Social capital — is a concept in business, economics, organizational behaviour, political science, public health, sociology and natural resources management that refers to connections within and between social networks. Though there are a variety of related… … Wikipedia
Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… … Wikipedia
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium
John Ruskin — This article is about the art critic, John Ruskin. For the painting of John Ruskin by Millais, see John Ruskin (painting). John Ruskin Coloured engraving of Ruskin Born 8 February 1819( … Wikipedia
Mathematics — Maths and Math redirect here. For other uses see Mathematics (disambiguation) and Math (disambiguation). Euclid, Greek mathematician, 3r … Wikipedia
Law of excluded middle — This article uses forms of logical notation. For a concise description of the symbols used in this notation, see Table of logic symbols. In logic, the law of the excluded middle states that the propositional calculus formula P ∨ ¬ P ( P or not P… … Wikipedia
Mill, John Stuart: Logic and metaphysics — J.S.Mill Logic and metaphysics John Skorupski ENLIGHTENMENT AND ROMANTICISM IN MILL’S PHILOSOPHY Mill’s importance as one of the major figures of nineteenth century politics and culture, and the current interest in him as a moral and political… … History of philosophy
Intuitionism — This article is about Intuitionism in mathematics and philosophical logic. For other uses, see Ethical intuitionism. In the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism), is an approach to mathematics as … Wikipedia
HP-49 series — The HP 49G series are Hewlett Packard (HP) manufactured graphing calculators. They are the successors of the HP 48 series, one of the best selling calculator ranges among engineers, scientists, and students.There are now four calculators in the… … Wikipedia
